Formal Ontologies and Coherent Spaces
نویسندگان
چکیده
منابع مشابه
Descriptive, Formal and Formalized Ontologies
1. Overture 2. Descriptive, formal and formalized ontologies 3. Variants of formalized ontology 4. Some data on formal ontologists 5. A note on Husserl’s conception of formal ontology 6. Mereologies 7. Nominalization 8. The forms of representation 9. The logical and the ontological 10. Duality 11. States of affairs and situations of affairs 12. Unfolded state of affairs 13. Ontological duality ...
متن کاملSNOMED CT and formal ontologies
The analysis of the structure of SNOMED CT revealed several ontological and knowledge-engineering errors. The authors propose a methodology based on the formal top-level ontology DOLCE to correct these errors.
متن کاملCoherent and finiteness spaces
This short note presents a new relation between coherent spaces and finiteness spaces. This takes the form of a functor from Coh to Fin commuting with the additive and multiplicative structure of linear logic. What makes this correspondence possible and conceptually interesting is the use of the infinite Ramsey theorem. Along the way, the question of the cardinality of the collection of finiten...
متن کاملFORMAL BALLS IN FUZZY PARTIAL METRIC SPACES
In this paper, the poset $BX$ of formal balls is studied in fuzzy partial metric space $(X,p,*)$. We introduce the notion of layered complete fuzzy partial metric space and get that the poset $BX$ of formal balls is a dcpo if and only if $(X,p,*)$ is layered complete fuzzy partial metric space.
متن کاملRelative Definability in Formal Ontologies
The paper investigates technical meta-logical notions and theorems relating to definitions and relative definability and shows how these are relevant to the concerns of knowledge representation. In particular they can be used to identify sets of primitives that are sufficent to fully describe a given domain. Fundamental definability theorems of Tarski are examined, and it is shown how these can...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2014
ISSN: 1570-8683
DOI: 10.1016/j.jal.2013.07.003